skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Search for: All records

Creators/Authors contains: "Teräväinen, Joni"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. Abstract Let$$\lambda $$ λ denote the Liouville function. We show that the logarithmic mean of$$\lambda (\lfloor \alpha _1n\rfloor )\lambda (\lfloor \alpha _2n\rfloor )$$ λ ( α 1 n ) λ ( α 2 n ) is 0 whenever$$\alpha _1,\alpha _2$$ α 1 , α 2 are positive reals with$$\alpha _1/\alpha _2$$ α 1 / α 2 irrational. We also show that for$$k\geqslant 3$$ k 3 the logarithmic mean of$$\lambda (\lfloor \alpha _1n\rfloor )\cdots \lambda (\lfloor \alpha _kn\rfloor )$$ λ ( α 1 n ) λ ( α k n ) has some nontrivial amount of cancellation, under certain rational independence assumptions on the real numbers$$\alpha _i.$$ α i . Our results for the Liouville function generalise to produce independence statements for general bounded real-valued multiplicative functions evaluated at Beatty sequences. These results answer the two-point case of a conjecture of Frantzikinakis (and provide some progress on the higher order cases), generalising a recent result of Crnčević–Hernández–Rizk–Sereesuchart–Tao. As an ingredient in our proofs, we establish bounds for the logarithmic correlations of the Liouville function along Bohr sets. 
    more » « less
    Free, publicly-accessible full text available May 28, 2026
  2. Abstract A conjecture of Erdős states that, for any large primeq, every reduced residue class ( mod q ) {(\operatorname{mod}q)}can be represented as a product p 1 p 2 {p_{1}p_{2}}of two primes p 1 , p 2 q {p_{1},p_{2}\leq q}. We establish a ternary version of this conjecture, showing that, for any sufficiently large cube-free integerq, every reduced residue class ( mod q ) {(\operatorname{mod}q)}can be written as p 1 p 2 p 3 {p_{1}p_{2}p_{3}}with p 1 , p 2 , p 3 q {p_{1},p_{2},p_{3}\leq q}primes. We also show that, for any ε > 0 {\varepsilon>0}and any sufficiently large integerq, at least ( 2 3 - ε ) φ ( q ) {(\frac{2}{3}-\varepsilon)\varphi(q)}reduced residue classes ( mod q ) {(\operatorname{mod}q)}can be represented as a product p 1 p 2 {p_{1}p_{2}}of two primes p 1 , p 2 q {p_{1},p_{2}\leq q}.The problems naturally reduce to studying character sums. The main innovation in the paper is the establishment of a multiplicative dense model theorem for character sums over primes in the spirit of the transference principle. In order to deal with possible local obstructions we establish bounds for the logarithmic density of primes in certain unions of cosets of subgroups of q × {\mathbb{Z}_{q}^{\times}}of small index and study in detail the exceptional case that there exists a quadratic character ψ ( mod q ) {\psi~{}(\operatorname{mod}\,q)}such that ψ ( p ) = - 1 {\psi(p)=-1}for very many primes p q {p\leq q}. 
    more » « less
  3. We show that, for almost all x x , the interval ( x , x + ( log ⁡ x ) 2.1 ] (x, x+(\log x)^{2.1}] contains products of exactly two primes. This improves on a work of the second author that had 3.51 3.51 in place of 2.1 2.1 . To obtain this improvement, we prove a new type II estimate. One of the new innovations is to use Heath-Brown’s mean value theorem for sparse Dirichlet polynomials. 
    more » « less
  4. Abstract We study for bounded multiplicative functions sums of the formestablishing that their variance over residue classes is small as soon as , for almost all moduli , with a nearly power‐saving exceptional set of . This improves and generalizes previous results of Hooley on Barban–Davenport–Halberstam type theorems for such , and moreover our exceptional set is essentially optimal unless one is able to make progress on certain well‐known conjectures. We are nevertheless able to prove stronger bounds for the number of the exceptional moduli in the cases where is restricted to be either smooth or prime, and conditionally on GRH we show that our variance estimate is valid for every . These results are special cases of a “hybrid result” that we establish that works for sums of over almost all short intervals and arithmetic progressions simultaneously, thus generalizing the Matomäki–Radziwiłł theorem on multiplicative functions in short intervals. We also consider the maximal deviation of overallresidue classes in the square root range , and show that it is small for “smooth‐supported” , again apart from a nearly power‐saving set of exceptional , thus providing a smaller exceptional set than what follows from Bombieri–Vinogradov type theorems. As an application of our methods, we consider Linnik‐type problems for products of exactly three primes, and in particular prove a ternary approximation to a conjecture of Erdős on representing every element of the multiplicative group as the product of two primes less than . 
    more » « less
  5. Abstract We show that for all $$n\leq X$$ apart from $$O(X\exp (-c(\log X)^{1/2}(\log \log X)^{1/2}))$$ exceptions, the alternating group $$A_{n}$$ is invariably generated by two elements of prime order. This answers (in a quantitative form) a question of Guralnick, Shareshian, and Woodroofe. 
    more » « less